Model Based Control System Design Using SysML, Simulink, and Computer Algebra System

Model-Based System Design Using SysML: The Role of the Evaluation Diagram

Model-based system design is served by a single, multi-layered model supporting all design activities, in different levels of detail. SysML is a modeling language, endorsed by OMG, for system engineering, which aims at defining such models for system design. It provides discrete diagrams to describe system structure and components, to explore allocation policies crucial for system design, and t...

Modelling of a Complex System Using Sysml in a Model Based Design Approach

This paper presents an approach on how to model and simulate a complex system. The aim is to build a simulation that covers functional aspects as well as physical behaviour. The demonstrator system is the Sample Preparation and Distribution System (SPDS) of the ExoMars Rover. The system description and the functional system model are created in the System Modelling Language (SysML). Dynamical s...

Integrating SysML with Simulink using Open-source Model Transformations

The realization of an integrated and automated modelling flow and tool framework joining OMG (i.e. UML, SysML, etc.) and Mathworks (i.e. Matlab, Simulink, etc.) models and technologies is a very attractive perspective because of the possibility of complementing their capabilities and strenghts. In this paper we describe our project for an integrated flow and our initial results, consisting of a...

A Computer Algebra System

Systems of polynomial equations appear throughout mathematics, science, and engineering, but solving them is widely considered to be part of numerical analysis, not computer algebra or algebraic geometry. Due to rounding errors, though, purely numerical methods often are unstable in unpredictable ways. They usually don’t find all solutions and frequently have problems with overdetermined system...

Discrete event system modeling using SysML and model transformation